3.3.59 \(\int \frac {(a+a \sin (e+f x))^3}{(c-c \sin (e+f x))^7} \, dx\) [259]

3.3.59.1 Optimal result
3.3.59.2 Mathematica [A] (verified)
3.3.59.3 Rubi [A] (verified)
3.3.59.4 Maple [C] (verified)
3.3.59.5 Fricas [B] (verification not implemented)
3.3.59.6 Sympy [B] (verification not implemented)
3.3.59.7 Maxima [B] (verification not implemented)
3.3.59.8 Giac [A] (verification not implemented)
3.3.59.9 Mupad [B] (verification not implemented)

3.3.59.1 Optimal result

Integrand size = 26, antiderivative size = 132 \[ \int \frac {(a+a \sin (e+f x))^3}{(c-c \sin (e+f x))^7} \, dx=\frac {a^3 c^3 \cos ^7(e+f x)}{13 f (c-c \sin (e+f x))^{10}}+\frac {3 a^3 c^2 \cos ^7(e+f x)}{143 f (c-c \sin (e+f x))^9}+\frac {2 a^3 c \cos ^7(e+f x)}{429 f (c-c \sin (e+f x))^8}+\frac {2 a^3 \cos ^7(e+f x)}{3003 f (c-c \sin (e+f x))^7} \]

output
1/13*a^3*c^3*cos(f*x+e)^7/f/(c-c*sin(f*x+e))^10+3/143*a^3*c^2*cos(f*x+e)^7 
/f/(c-c*sin(f*x+e))^9+2/429*a^3*c*cos(f*x+e)^7/f/(c-c*sin(f*x+e))^8+2/3003 
*a^3*cos(f*x+e)^7/f/(c-c*sin(f*x+e))^7
 
3.3.59.2 Mathematica [A] (verified)

Time = 3.90 (sec) , antiderivative size = 157, normalized size of antiderivative = 1.19 \[ \int \frac {(a+a \sin (e+f x))^3}{(c-c \sin (e+f x))^7} \, dx=\frac {a^3 \left (18018 \cos \left (\frac {1}{2} (e+f x)\right )-10296 \cos \left (\frac {3}{2} (e+f x)\right )-3003 \cos \left (\frac {5}{2} (e+f x)\right )+286 \cos \left (\frac {7}{2} (e+f x)\right )-13 \cos \left (\frac {11}{2} (e+f x)\right )+16302 \sin \left (\frac {1}{2} (e+f x)\right )+9009 \sin \left (\frac {3}{2} (e+f x)\right )-2288 \sin \left (\frac {5}{2} (e+f x)\right )-78 \sin \left (\frac {9}{2} (e+f x)\right )+\sin \left (\frac {13}{2} (e+f x)\right )\right )}{48048 c^7 f \left (\cos \left (\frac {1}{2} (e+f x)\right )-\sin \left (\frac {1}{2} (e+f x)\right )\right )^{13}} \]

input
Integrate[(a + a*Sin[e + f*x])^3/(c - c*Sin[e + f*x])^7,x]
 
output
(a^3*(18018*Cos[(e + f*x)/2] - 10296*Cos[(3*(e + f*x))/2] - 3003*Cos[(5*(e 
 + f*x))/2] + 286*Cos[(7*(e + f*x))/2] - 13*Cos[(11*(e + f*x))/2] + 16302* 
Sin[(e + f*x)/2] + 9009*Sin[(3*(e + f*x))/2] - 2288*Sin[(5*(e + f*x))/2] - 
 78*Sin[(9*(e + f*x))/2] + Sin[(13*(e + f*x))/2]))/(48048*c^7*f*(Cos[(e + 
f*x)/2] - Sin[(e + f*x)/2])^13)
 
3.3.59.3 Rubi [A] (verified)

Time = 0.66 (sec) , antiderivative size = 139, normalized size of antiderivative = 1.05, number of steps used = 10, number of rules used = 10, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.385, Rules used = {3042, 3215, 3042, 3151, 3042, 3151, 3042, 3151, 3042, 3150}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int \frac {(a \sin (e+f x)+a)^3}{(c-c \sin (e+f x))^7} \, dx\)

\(\Big \downarrow \) 3042

\(\displaystyle \int \frac {(a \sin (e+f x)+a)^3}{(c-c \sin (e+f x))^7}dx\)

\(\Big \downarrow \) 3215

\(\displaystyle a^3 c^3 \int \frac {\cos ^6(e+f x)}{(c-c \sin (e+f x))^{10}}dx\)

\(\Big \downarrow \) 3042

\(\displaystyle a^3 c^3 \int \frac {\cos (e+f x)^6}{(c-c \sin (e+f x))^{10}}dx\)

\(\Big \downarrow \) 3151

\(\displaystyle a^3 c^3 \left (\frac {3 \int \frac {\cos ^6(e+f x)}{(c-c \sin (e+f x))^9}dx}{13 c}+\frac {\cos ^7(e+f x)}{13 f (c-c \sin (e+f x))^{10}}\right )\)

\(\Big \downarrow \) 3042

\(\displaystyle a^3 c^3 \left (\frac {3 \int \frac {\cos (e+f x)^6}{(c-c \sin (e+f x))^9}dx}{13 c}+\frac {\cos ^7(e+f x)}{13 f (c-c \sin (e+f x))^{10}}\right )\)

\(\Big \downarrow \) 3151

\(\displaystyle a^3 c^3 \left (\frac {3 \left (\frac {2 \int \frac {\cos ^6(e+f x)}{(c-c \sin (e+f x))^8}dx}{11 c}+\frac {\cos ^7(e+f x)}{11 f (c-c \sin (e+f x))^9}\right )}{13 c}+\frac {\cos ^7(e+f x)}{13 f (c-c \sin (e+f x))^{10}}\right )\)

\(\Big \downarrow \) 3042

\(\displaystyle a^3 c^3 \left (\frac {3 \left (\frac {2 \int \frac {\cos (e+f x)^6}{(c-c \sin (e+f x))^8}dx}{11 c}+\frac {\cos ^7(e+f x)}{11 f (c-c \sin (e+f x))^9}\right )}{13 c}+\frac {\cos ^7(e+f x)}{13 f (c-c \sin (e+f x))^{10}}\right )\)

\(\Big \downarrow \) 3151

\(\displaystyle a^3 c^3 \left (\frac {3 \left (\frac {2 \left (\frac {\int \frac {\cos ^6(e+f x)}{(c-c \sin (e+f x))^7}dx}{9 c}+\frac {\cos ^7(e+f x)}{9 f (c-c \sin (e+f x))^8}\right )}{11 c}+\frac {\cos ^7(e+f x)}{11 f (c-c \sin (e+f x))^9}\right )}{13 c}+\frac {\cos ^7(e+f x)}{13 f (c-c \sin (e+f x))^{10}}\right )\)

\(\Big \downarrow \) 3042

\(\displaystyle a^3 c^3 \left (\frac {3 \left (\frac {2 \left (\frac {\int \frac {\cos (e+f x)^6}{(c-c \sin (e+f x))^7}dx}{9 c}+\frac {\cos ^7(e+f x)}{9 f (c-c \sin (e+f x))^8}\right )}{11 c}+\frac {\cos ^7(e+f x)}{11 f (c-c \sin (e+f x))^9}\right )}{13 c}+\frac {\cos ^7(e+f x)}{13 f (c-c \sin (e+f x))^{10}}\right )\)

\(\Big \downarrow \) 3150

\(\displaystyle a^3 c^3 \left (\frac {\cos ^7(e+f x)}{13 f (c-c \sin (e+f x))^{10}}+\frac {3 \left (\frac {\cos ^7(e+f x)}{11 f (c-c \sin (e+f x))^9}+\frac {2 \left (\frac {\cos ^7(e+f x)}{63 c f (c-c \sin (e+f x))^7}+\frac {\cos ^7(e+f x)}{9 f (c-c \sin (e+f x))^8}\right )}{11 c}\right )}{13 c}\right )\)

input
Int[(a + a*Sin[e + f*x])^3/(c - c*Sin[e + f*x])^7,x]
 
output
a^3*c^3*(Cos[e + f*x]^7/(13*f*(c - c*Sin[e + f*x])^10) + (3*(Cos[e + f*x]^ 
7/(11*f*(c - c*Sin[e + f*x])^9) + (2*(Cos[e + f*x]^7/(9*f*(c - c*Sin[e + f 
*x])^8) + Cos[e + f*x]^7/(63*c*f*(c - c*Sin[e + f*x])^7)))/(11*c)))/(13*c) 
)
 

3.3.59.3.1 Defintions of rubi rules used

rule 3042
Int[u_, x_Symbol] :> Int[DeactivateTrig[u, x], x] /; FunctionOfTrigOfLinear 
Q[u, x]
 

rule 3150
Int[(cos[(e_.) + (f_.)*(x_)]*(g_.))^(p_)*((a_) + (b_.)*sin[(e_.) + (f_.)*(x 
_)])^(m_), x_Symbol] :> Simp[b*(g*Cos[e + f*x])^(p + 1)*((a + b*Sin[e + f*x 
])^m/(a*f*g*m)), x] /; FreeQ[{a, b, e, f, g, m, p}, x] && EqQ[a^2 - b^2, 0] 
 && EqQ[Simplify[m + p + 1], 0] &&  !ILtQ[p, 0]
 

rule 3151
Int[(cos[(e_.) + (f_.)*(x_)]*(g_.))^(p_)*((a_) + (b_.)*sin[(e_.) + (f_.)*(x 
_)])^(m_), x_Symbol] :> Simp[b*(g*Cos[e + f*x])^(p + 1)*((a + b*Sin[e + f*x 
])^m/(a*f*g*Simplify[2*m + p + 1])), x] + Simp[Simplify[m + p + 1]/(a*Simpl 
ify[2*m + p + 1])   Int[(g*Cos[e + f*x])^p*(a + b*Sin[e + f*x])^(m + 1), x] 
, x] /; FreeQ[{a, b, e, f, g, m, p}, x] && EqQ[a^2 - b^2, 0] && ILtQ[Simpli 
fy[m + p + 1], 0] && NeQ[2*m + p + 1, 0] &&  !IGtQ[m, 0]
 

rule 3215
Int[((a_) + (b_.)*sin[(e_.) + (f_.)*(x_)])^(m_.)*((c_) + (d_.)*sin[(e_.) + 
(f_.)*(x_)])^(n_.), x_Symbol] :> Simp[a^m*c^m   Int[Cos[e + f*x]^(2*m)*(c + 
 d*Sin[e + f*x])^(n - m), x], x] /; FreeQ[{a, b, c, d, e, f, n}, x] && EqQ[ 
b*c + a*d, 0] && EqQ[a^2 - b^2, 0] && IntegerQ[m] &&  !(IntegerQ[n] && ((Lt 
Q[m, 0] && GtQ[n, 0]) || LtQ[0, n, m] || LtQ[m, n, 0]))
 
3.3.59.4 Maple [C] (verified)

Result contains complex when optimal does not.

Time = 1.38 (sec) , antiderivative size = 133, normalized size of antiderivative = 1.01

method result size
risch \(-\frac {4 i a^{3} \left (9009 i {\mathrm e}^{8 i \left (f x +e \right )}+3003 \,{\mathrm e}^{9 i \left (f x +e \right )}-16302 i {\mathrm e}^{6 i \left (f x +e \right )}-18018 \,{\mathrm e}^{7 i \left (f x +e \right )}+2288 i {\mathrm e}^{4 i \left (f x +e \right )}+10296 \,{\mathrm e}^{5 i \left (f x +e \right )}+78 i {\mathrm e}^{2 i \left (f x +e \right )}-286 \,{\mathrm e}^{3 i \left (f x +e \right )}-i+13 \,{\mathrm e}^{i \left (f x +e \right )}\right )}{3003 f \,c^{7} \left ({\mathrm e}^{i \left (f x +e \right )}-i\right )^{13}}\) \(133\)
parallelrisch \(-\frac {2 \left (\frac {310}{3003}-\frac {263 \left (\tan ^{3}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{21}-\frac {79 \tan \left (\frac {f x}{2}+\frac {e}{2}\right )}{231}+\frac {666 \left (\tan ^{6}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{7}+72 \left (\tan ^{8}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )-82 \left (\tan ^{7}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )-\frac {426 \left (\tan ^{5}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{7}+\frac {857 \left (\tan ^{4}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{21}+\frac {389 \left (\tan ^{2}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )}{77}+\tan ^{12}\left (\frac {f x}{2}+\frac {e}{2}\right )-3 \left (\tan ^{11}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )+17 \left (\tan ^{10}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )-33 \left (\tan ^{9}\left (\frac {f x}{2}+\frac {e}{2}\right )\right )\right ) a^{3}}{f \,c^{7} \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{13}}\) \(179\)
derivativedivides \(\frac {2 a^{3} \left (-\frac {50}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{3}}-\frac {1148}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{6}}-\frac {1600}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{10}}-\frac {192}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{4}}-\frac {8832}{11 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{11}}-\frac {512}{13 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{13}}-\frac {13112}{7 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{7}}-\frac {256}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{12}}-\frac {2352}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{8}}-\frac {9}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{2}}-\frac {540}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{5}}-\frac {1}{\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1}-\frac {6752}{3 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{9}}\right )}{f \,c^{7}}\) \(208\)
default \(\frac {2 a^{3} \left (-\frac {50}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{3}}-\frac {1148}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{6}}-\frac {1600}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{10}}-\frac {192}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{4}}-\frac {8832}{11 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{11}}-\frac {512}{13 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{13}}-\frac {13112}{7 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{7}}-\frac {256}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{12}}-\frac {2352}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{8}}-\frac {9}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{2}}-\frac {540}{\left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{5}}-\frac {1}{\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1}-\frac {6752}{3 \left (\tan \left (\frac {f x}{2}+\frac {e}{2}\right )-1\right )^{9}}\right )}{f \,c^{7}}\) \(208\)

input
int((a+a*sin(f*x+e))^3/(c-c*sin(f*x+e))^7,x,method=_RETURNVERBOSE)
 
output
-4/3003*I*a^3*(9009*I*exp(8*I*(f*x+e))+3003*exp(9*I*(f*x+e))-16302*I*exp(6 
*I*(f*x+e))-18018*exp(7*I*(f*x+e))+2288*I*exp(4*I*(f*x+e))+10296*exp(5*I*( 
f*x+e))+78*I*exp(2*I*(f*x+e))-286*exp(3*I*(f*x+e))-I+13*exp(I*(f*x+e)))/f/ 
c^7/(exp(I*(f*x+e))-I)^13
 
3.3.59.5 Fricas [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 386 vs. \(2 (128) = 256\).

Time = 0.27 (sec) , antiderivative size = 386, normalized size of antiderivative = 2.92 \[ \int \frac {(a+a \sin (e+f x))^3}{(c-c \sin (e+f x))^7} \, dx=-\frac {2 \, a^{3} \cos \left (f x + e\right )^{7} - 12 \, a^{3} \cos \left (f x + e\right )^{6} - 49 \, a^{3} \cos \left (f x + e\right )^{5} + 70 \, a^{3} \cos \left (f x + e\right )^{4} - 567 \, a^{3} \cos \left (f x + e\right )^{3} - 1596 \, a^{3} \cos \left (f x + e\right )^{2} + 924 \, a^{3} \cos \left (f x + e\right ) + 1848 \, a^{3} + {\left (2 \, a^{3} \cos \left (f x + e\right )^{6} + 14 \, a^{3} \cos \left (f x + e\right )^{5} - 35 \, a^{3} \cos \left (f x + e\right )^{4} - 105 \, a^{3} \cos \left (f x + e\right )^{3} - 672 \, a^{3} \cos \left (f x + e\right )^{2} + 924 \, a^{3} \cos \left (f x + e\right ) + 1848 \, a^{3}\right )} \sin \left (f x + e\right )}{3003 \, {\left (c^{7} f \cos \left (f x + e\right )^{7} + 7 \, c^{7} f \cos \left (f x + e\right )^{6} - 18 \, c^{7} f \cos \left (f x + e\right )^{5} - 56 \, c^{7} f \cos \left (f x + e\right )^{4} + 48 \, c^{7} f \cos \left (f x + e\right )^{3} + 112 \, c^{7} f \cos \left (f x + e\right )^{2} - 32 \, c^{7} f \cos \left (f x + e\right ) - 64 \, c^{7} f - {\left (c^{7} f \cos \left (f x + e\right )^{6} - 6 \, c^{7} f \cos \left (f x + e\right )^{5} - 24 \, c^{7} f \cos \left (f x + e\right )^{4} + 32 \, c^{7} f \cos \left (f x + e\right )^{3} + 80 \, c^{7} f \cos \left (f x + e\right )^{2} - 32 \, c^{7} f \cos \left (f x + e\right ) - 64 \, c^{7} f\right )} \sin \left (f x + e\right )\right )}} \]

input
integrate((a+a*sin(f*x+e))^3/(c-c*sin(f*x+e))^7,x, algorithm="fricas")
 
output
-1/3003*(2*a^3*cos(f*x + e)^7 - 12*a^3*cos(f*x + e)^6 - 49*a^3*cos(f*x + e 
)^5 + 70*a^3*cos(f*x + e)^4 - 567*a^3*cos(f*x + e)^3 - 1596*a^3*cos(f*x + 
e)^2 + 924*a^3*cos(f*x + e) + 1848*a^3 + (2*a^3*cos(f*x + e)^6 + 14*a^3*co 
s(f*x + e)^5 - 35*a^3*cos(f*x + e)^4 - 105*a^3*cos(f*x + e)^3 - 672*a^3*co 
s(f*x + e)^2 + 924*a^3*cos(f*x + e) + 1848*a^3)*sin(f*x + e))/(c^7*f*cos(f 
*x + e)^7 + 7*c^7*f*cos(f*x + e)^6 - 18*c^7*f*cos(f*x + e)^5 - 56*c^7*f*co 
s(f*x + e)^4 + 48*c^7*f*cos(f*x + e)^3 + 112*c^7*f*cos(f*x + e)^2 - 32*c^7 
*f*cos(f*x + e) - 64*c^7*f - (c^7*f*cos(f*x + e)^6 - 6*c^7*f*cos(f*x + e)^ 
5 - 24*c^7*f*cos(f*x + e)^4 + 32*c^7*f*cos(f*x + e)^3 + 80*c^7*f*cos(f*x + 
 e)^2 - 32*c^7*f*cos(f*x + e) - 64*c^7*f)*sin(f*x + e))
 
3.3.59.6 Sympy [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 3451 vs. \(2 (121) = 242\).

Time = 71.09 (sec) , antiderivative size = 3451, normalized size of antiderivative = 26.14 \[ \int \frac {(a+a \sin (e+f x))^3}{(c-c \sin (e+f x))^7} \, dx=\text {Too large to display} \]

input
integrate((a+a*sin(f*x+e))**3/(c-c*sin(f*x+e))**7,x)
 
output
Piecewise((-6006*a**3*tan(e/2 + f*x/2)**12/(3003*c**7*f*tan(e/2 + f*x/2)** 
13 - 39039*c**7*f*tan(e/2 + f*x/2)**12 + 234234*c**7*f*tan(e/2 + f*x/2)**1 
1 - 858858*c**7*f*tan(e/2 + f*x/2)**10 + 2147145*c**7*f*tan(e/2 + f*x/2)** 
9 - 3864861*c**7*f*tan(e/2 + f*x/2)**8 + 5153148*c**7*f*tan(e/2 + f*x/2)** 
7 - 5153148*c**7*f*tan(e/2 + f*x/2)**6 + 3864861*c**7*f*tan(e/2 + f*x/2)** 
5 - 2147145*c**7*f*tan(e/2 + f*x/2)**4 + 858858*c**7*f*tan(e/2 + f*x/2)**3 
 - 234234*c**7*f*tan(e/2 + f*x/2)**2 + 39039*c**7*f*tan(e/2 + f*x/2) - 300 
3*c**7*f) + 18018*a**3*tan(e/2 + f*x/2)**11/(3003*c**7*f*tan(e/2 + f*x/2)* 
*13 - 39039*c**7*f*tan(e/2 + f*x/2)**12 + 234234*c**7*f*tan(e/2 + f*x/2)** 
11 - 858858*c**7*f*tan(e/2 + f*x/2)**10 + 2147145*c**7*f*tan(e/2 + f*x/2)* 
*9 - 3864861*c**7*f*tan(e/2 + f*x/2)**8 + 5153148*c**7*f*tan(e/2 + f*x/2)* 
*7 - 5153148*c**7*f*tan(e/2 + f*x/2)**6 + 3864861*c**7*f*tan(e/2 + f*x/2)* 
*5 - 2147145*c**7*f*tan(e/2 + f*x/2)**4 + 858858*c**7*f*tan(e/2 + f*x/2)** 
3 - 234234*c**7*f*tan(e/2 + f*x/2)**2 + 39039*c**7*f*tan(e/2 + f*x/2) - 30 
03*c**7*f) - 102102*a**3*tan(e/2 + f*x/2)**10/(3003*c**7*f*tan(e/2 + f*x/2 
)**13 - 39039*c**7*f*tan(e/2 + f*x/2)**12 + 234234*c**7*f*tan(e/2 + f*x/2) 
**11 - 858858*c**7*f*tan(e/2 + f*x/2)**10 + 2147145*c**7*f*tan(e/2 + f*x/2 
)**9 - 3864861*c**7*f*tan(e/2 + f*x/2)**8 + 5153148*c**7*f*tan(e/2 + f*x/2 
)**7 - 5153148*c**7*f*tan(e/2 + f*x/2)**6 + 3864861*c**7*f*tan(e/2 + f*x/2 
)**5 - 2147145*c**7*f*tan(e/2 + f*x/2)**4 + 858858*c**7*f*tan(e/2 + f*x...
 
3.3.59.7 Maxima [B] (verification not implemented)

Leaf count of result is larger than twice the leaf count of optimal. 2078 vs. \(2 (128) = 256\).

Time = 0.27 (sec) , antiderivative size = 2078, normalized size of antiderivative = 15.74 \[ \int \frac {(a+a \sin (e+f x))^3}{(c-c \sin (e+f x))^7} \, dx=\text {Too large to display} \]

input
integrate((a+a*sin(f*x+e))^3/(c-c*sin(f*x+e))^7,x, algorithm="maxima")
 
output
-2/15015*(2*a^3*(4771*sin(f*x + e)/(cos(f*x + e) + 1) - 28626*sin(f*x + e) 
^2/(cos(f*x + e) + 1)^2 + 74932*sin(f*x + e)^3/(cos(f*x + e) + 1)^3 - 1873 
30*sin(f*x + e)^4/(cos(f*x + e) + 1)^4 + 265122*sin(f*x + e)^5/(cos(f*x + 
e) + 1)^5 - 353496*sin(f*x + e)^6/(cos(f*x + e) + 1)^6 + 276276*sin(f*x + 
e)^7/(cos(f*x + e) + 1)^7 - 207207*sin(f*x + e)^8/(cos(f*x + e) + 1)^8 + 7 
5075*sin(f*x + e)^9/(cos(f*x + e) + 1)^9 - 30030*sin(f*x + e)^10/(cos(f*x 
+ e) + 1)^10 - 367)/(c^7 - 13*c^7*sin(f*x + e)/(cos(f*x + e) + 1) + 78*c^7 
*sin(f*x + e)^2/(cos(f*x + e) + 1)^2 - 286*c^7*sin(f*x + e)^3/(cos(f*x + e 
) + 1)^3 + 715*c^7*sin(f*x + e)^4/(cos(f*x + e) + 1)^4 - 1287*c^7*sin(f*x 
+ e)^5/(cos(f*x + e) + 1)^5 + 1716*c^7*sin(f*x + e)^6/(cos(f*x + e) + 1)^6 
 - 1716*c^7*sin(f*x + e)^7/(cos(f*x + e) + 1)^7 + 1287*c^7*sin(f*x + e)^8/ 
(cos(f*x + e) + 1)^8 - 715*c^7*sin(f*x + e)^9/(cos(f*x + e) + 1)^9 + 286*c 
^7*sin(f*x + e)^10/(cos(f*x + e) + 1)^10 - 78*c^7*sin(f*x + e)^11/(cos(f*x 
 + e) + 1)^11 + 13*c^7*sin(f*x + e)^12/(cos(f*x + e) + 1)^12 - c^7*sin(f*x 
 + e)^13/(cos(f*x + e) + 1)^13) + 5*a^3*(3796*sin(f*x + e)/(cos(f*x + e) + 
 1) - 22776*sin(f*x + e)^2/(cos(f*x + e) + 1)^2 + 77506*sin(f*x + e)^3/(co 
s(f*x + e) + 1)^3 - 193765*sin(f*x + e)^4/(cos(f*x + e) + 1)^4 + 339768*si 
n(f*x + e)^5/(cos(f*x + e) + 1)^5 - 453024*sin(f*x + e)^6/(cos(f*x + e) + 
1)^6 + 444444*sin(f*x + e)^7/(cos(f*x + e) + 1)^7 - 333333*sin(f*x + e)^8/ 
(cos(f*x + e) + 1)^8 + 180180*sin(f*x + e)^9/(cos(f*x + e) + 1)^9 - 720...
 
3.3.59.8 Giac [A] (verification not implemented)

Time = 0.38 (sec) , antiderivative size = 217, normalized size of antiderivative = 1.64 \[ \int \frac {(a+a \sin (e+f x))^3}{(c-c \sin (e+f x))^7} \, dx=-\frac {2 \, {\left (3003 \, a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{12} - 9009 \, a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{11} + 51051 \, a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{10} - 99099 \, a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{9} + 216216 \, a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{8} - 246246 \, a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{7} + 285714 \, a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{6} - 182754 \, a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{5} + 122551 \, a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{4} - 37609 \, a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{3} + 15171 \, a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right )^{2} - 1027 \, a^{3} \tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) + 310 \, a^{3}\right )}}{3003 \, c^{7} f {\left (\tan \left (\frac {1}{2} \, f x + \frac {1}{2} \, e\right ) - 1\right )}^{13}} \]

input
integrate((a+a*sin(f*x+e))^3/(c-c*sin(f*x+e))^7,x, algorithm="giac")
 
output
-2/3003*(3003*a^3*tan(1/2*f*x + 1/2*e)^12 - 9009*a^3*tan(1/2*f*x + 1/2*e)^ 
11 + 51051*a^3*tan(1/2*f*x + 1/2*e)^10 - 99099*a^3*tan(1/2*f*x + 1/2*e)^9 
+ 216216*a^3*tan(1/2*f*x + 1/2*e)^8 - 246246*a^3*tan(1/2*f*x + 1/2*e)^7 + 
285714*a^3*tan(1/2*f*x + 1/2*e)^6 - 182754*a^3*tan(1/2*f*x + 1/2*e)^5 + 12 
2551*a^3*tan(1/2*f*x + 1/2*e)^4 - 37609*a^3*tan(1/2*f*x + 1/2*e)^3 + 15171 
*a^3*tan(1/2*f*x + 1/2*e)^2 - 1027*a^3*tan(1/2*f*x + 1/2*e) + 310*a^3)/(c^ 
7*f*(tan(1/2*f*x + 1/2*e) - 1)^13)
 
3.3.59.9 Mupad [B] (verification not implemented)

Time = 10.12 (sec) , antiderivative size = 165, normalized size of antiderivative = 1.25 \[ \int \frac {(a+a \sin (e+f x))^3}{(c-c \sin (e+f x))^7} \, dx=-\frac {\sqrt {2}\,a^3\,\cos \left (\frac {e}{2}+\frac {f\,x}{2}\right )\,\left (\frac {8993\,\cos \left (e+f\,x\right )}{4}+\frac {57915\,\sin \left (e+f\,x\right )}{8}+\frac {73423\,\cos \left (2\,e+2\,f\,x\right )}{16}-\frac {15365\,\cos \left (3\,e+3\,f\,x\right )}{16}-\frac {6943\,\cos \left (4\,e+4\,f\,x\right )}{16}+\frac {937\,\cos \left (5\,e+5\,f\,x\right )}{16}+\frac {77\,\cos \left (6\,e+6\,f\,x\right )}{16}-\frac {6435\,\sin \left (2\,e+2\,f\,x\right )}{4}-\frac {27027\,\sin \left (3\,e+3\,f\,x\right )}{16}+\frac {5005\,\sin \left (4\,e+4\,f\,x\right )}{16}+\frac {1079\,\sin \left (5\,e+5\,f\,x\right )}{16}-\frac {39\,\sin \left (6\,e+6\,f\,x\right )}{8}-\frac {93061}{16}\right )}{192192\,c^7\,f\,{\cos \left (\frac {e}{2}+\frac {\pi }{4}+\frac {f\,x}{2}\right )}^{13}} \]

input
int((a + a*sin(e + f*x))^3/(c - c*sin(e + f*x))^7,x)
 
output
-(2^(1/2)*a^3*cos(e/2 + (f*x)/2)*((8993*cos(e + f*x))/4 + (57915*sin(e + f 
*x))/8 + (73423*cos(2*e + 2*f*x))/16 - (15365*cos(3*e + 3*f*x))/16 - (6943 
*cos(4*e + 4*f*x))/16 + (937*cos(5*e + 5*f*x))/16 + (77*cos(6*e + 6*f*x))/ 
16 - (6435*sin(2*e + 2*f*x))/4 - (27027*sin(3*e + 3*f*x))/16 + (5005*sin(4 
*e + 4*f*x))/16 + (1079*sin(5*e + 5*f*x))/16 - (39*sin(6*e + 6*f*x))/8 - 9 
3061/16))/(192192*c^7*f*cos(e/2 + pi/4 + (f*x)/2)^13)